Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
321	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.dotsrc.org Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
322	2.OA.1 Cluster Heading: Represent and solve problems involving addition and subtraction Content Standard: Use addition and subtraction within 100 to solve one- and two-step word problems involving situations of adding t Add to Reading List Source URL: education.illinoisstate.edu Language: English - Date: 2014-04-01 10:10:12 Subtraction Decision problem Mathematical logic Algorithm Mathematics Elementary arithmetic Computability theory
323	MATHEMATICS: ELECTRONIC JOURNAL ACCESS ABSTRACT AND APPLIED ANALYSIS Online from v.1, 1996 to 2007 Distribution: 1 issue annually http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle=euclid Add to Reading List Source URL: tulane.edu Language: English - Date: 2014-07-01 14:55:35 Mathematics Mass media Computability logic Annals of Applied Probability American Mathematical Monthly Publishing
324	“Empty Space” Computes: The Evolution of an Unconventional Supercomputer Jonathan W. Mills1 Matt Parker Bryce Himebaugh Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2011-08-24 10:01:38 Computability theory Analog computer Artificial intelligence Logic in computer science Digital electronics Hypercomputation Computation Fuzzy logic Turing machine Theoretical computer science Applied mathematics Computer science
325	Oracle inequalities for computationally adaptive model selection arXiv:1208.0129v1 [stat.ML] 1 Aug[removed]Alekh Agarwal† Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-08-01 20:37:08 Algorithm Mathematical logic Computational complexity theory Computability theory Formal methods Models of computation Lambda calculus Theoretical computer science Applied mathematics Mathematics
326	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: piotrkosoft.net Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
327	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: gd.tuwien.ac.at Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
328	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.physik-pool.tu-berlin.de Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
329	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.mirrorcatalogs.com Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
330	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.uni-altai.ru Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic

UPDATE